Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Mathieu Turuani And NotRoumanie

List of bibliographic references

Number of relevant bibliographic references: 48.
Ident.Authors (with country if any)Title
000061 Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000B01 Jose Antonio Martin [Espagne] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Ernesto Pimentel [Espagne] ; Mathieu Turuani [France]On the Synthesis of Secure Services Composition
001893 Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Towards the Orchestration of Secured Services under Non-disclosure Policies.
001A17 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
002127 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Distributed Orchestration of Web Services under Security Constraints
002530 Véronique Cortier [France] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Frédéric Sur [France] ; Emmanuel Thomé [France] ; Mathieu Turuani [France] ; Paul Zimmermann [France]Ballot stuffing in a postal voting system
002A26 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with a Set Constructor
002D34 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with and without a Set Constructor
003487 Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
003872 Charu Arora [Inde] ; Mathieu Turuani [France]Validating Integrity for the Ephemerizer’s Protocol with CL-Atse
003F06 Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
004188 Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
004590 Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France]Constraints-based Verification of Parameterized Cryptographic Protocols.
005025 Charu Arora [France] ; Mathieu Turuani [France]Adding Integrity to the Ephemerizer's Protocol
005042 Mathieu Turuani [France]The CL-Atse Protocol Analyser
005044 Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France]Implementing a Unification Algorithm for Protocol Analysis with XOR
005069 Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France]Computationally Sound Compositional Logic for Security Protocols
005375 Mathieu Turuani [France]The CL-Atse Protocol Analyser
005617 Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]Compositional analysis of contract-signing protocols
005881 Mathieu Turuani [France]Analysis of Contract Signing Protocols
005914 Mathieu Turuani [France] ; Hoan Vu-Van [France]Validation of the ASW Contract Signing Protocol
005967 Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic Polynomial-time Semantics for a Protocol Security Logic
005979 Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France]The AVISPA Tool for the automated validation of internet security protocols and applications
005993 Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]Compositional Analysis of Contract Signing Protocols
005D45 Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISPA Tool for the automated validation of internet security protocols and applications
006207 Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
006380 Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP decision procedure for protocol insecurity with XOR
006626 Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Deciding the Security of Protocols with Commuting Public Key Encryption.
006847 Yannick Chevalier ; Ralf Küesters ; Michael Rusinowitch ; Mathieu TuruaniDeciding the Security of Protocols with Commuting Public Key Encryption.
007130 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis]Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
007190 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007232 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
007351 Mathieu TuruaniSécurité des protocoles cryptographiques : décidabilité et complexité
007663 Yannick Chevalier ; Ralf Kuester ; Michael Rusinowitch ; Mathieu Turuani ; Laurent VigneronExtending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007A61 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007B50 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Protocol insecurity with a finite number of sessions and composed keys is NP-complete
007B67 Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis]Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents
007E25 Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
007E70 Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]An NP Decision Procedure for Protocol Insecurity with XOR
007F92 Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Analyse Automatique de Protocoles de Sécurité avec CASRUL
008003 Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008594 Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Moedersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISS Security Protocol Analysis Tool
008734 Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008C85 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Protocol Insecurity with Finite Number of Sessions is NP-complete
009049 Michael Rusinowitch ; Mathieu TuruaniDeciding insecurity for non-atomic keys
009105 Michael Rusinowitch ; Mathieu TuruaniProtocol Insecurity with Finite Number of Sessions is NP-complete
009598 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Protocol Insecurity with Finite Number of Sessions is NP-complete
009666 Michaël Rusinowitch [France] ; Mathieu Turuani [France]Deciding insecurity for non-atomic keys
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022